../../../pargo-instances/clique/dimacs/C250.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1759 rows, 2009 columns, and 6036 nonzeros.
Reduced MIP has 250 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (2.62 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (2.67 ticks)
Probing time = 0.00 sec. (1.09 ticks)
Clique table members: 1760.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.17 sec. (132.08 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      250.0000     1523     --- 
      0     0       77.6358   249        0.0000       77.6358     1523     --- 
*     0+    0                           38.0000       77.6358     1523  104.30%
      0     0       76.2320   248       38.0000      Cuts: 42     1839  100.61%
      0     0       75.6116   249       38.0000      Cuts: 40     2033   98.98%
      0     0       75.1303   249       38.0000      Cuts: 61     2266   97.71%
      0     0       74.7242   247       38.0000      Cuts: 46     2497   96.64%
*     0+    0                           40.0000       74.7242     2497   86.81%
      0     0       73.5726   245       40.0000      Cuts: 55     2802   83.93%
      0     0       73.2805   247       40.0000      Cuts: 50     2998   83.20%
      0     0       72.9614   245       40.0000      User: 26     3225   82.40%
      0     0       72.7869   249       40.0000      User: 34     3369   81.97%
      0     0       72.5471   250       40.0000      User: 32     3515   81.37%
      0     0       72.4641   250       40.0000      User: 20     3613   81.16%
      0     0       72.2081   249       40.0000      User: 18     3762   80.52%
      0     0       72.0865   247       40.0000      User: 26     3857   80.22%
      0     0       71.8109   249       40.0000      Cuts: 50     4007   79.53%
      0     0       71.6288   250       40.0000      Cuts: 43     4140   79.07%
      0     0       71.3297   251       40.0000      Cuts: 45     4357   78.32%
      0     0       71.2374   250       40.0000      Cuts: 23     4496   78.09%
      0     0       71.2231   251       40.0000      Cuts: 16     4538   78.06%
      0     0       71.1317   251       40.0000      Cuts: 19     4650   77.83%
      0     0       71.1283   251       40.0000       Cuts: 7     4666   77.82%
      0     0       71.0724   251       40.0000      Cuts: 11     4750   77.68%
      0     0       70.9125   250       40.0000      Cuts: 11     4896   77.28%
      0     0       70.7741   250       40.0000      Cuts: 19     5027   76.94%
      0     0       70.7484   250       40.0000      Cuts: 14     5104   76.87%
      0     0       70.7126   251       40.0000      Cuts: 11     5182   76.78%
      0     0       70.6161   251       40.0000      Cuts: 12     5288   76.54%
      0     0       70.6106   250       40.0000       Cuts: 7     5325   76.53%
      0     0       70.5484   250       40.0000      Cuts: 11     5416   76.37%
      0     0       70.5422   250       40.0000       User: 2     5443   76.36%
      0     0       70.4459   251       40.0000      Cuts: 12     5535   76.11%
      0     0       70.3672   251       40.0000       Cuts: 7     5626   75.92%
      0     0       70.3518   250       40.0000       User: 8     5669   75.88%
      0     0       70.3215   251       40.0000      Cuts: 14     5737   75.80%
      0     0       70.2526   250       40.0000      Cuts: 16     5826   75.63%
      0     0       70.0762   250       40.0000      Cuts: 31     5987   75.19%
      0     0       69.9052   251       40.0000      Cuts: 14     6147   74.76%
      0     0       69.8752   251       40.0000      Cuts: 19     6222   74.69%
      0     0       69.8724   251       40.0000       Cuts: 3     6250   74.68%
      0     0       69.8323   251       40.0000       Cuts: 4     6314   74.58%
      0     0       69.7887   250       40.0000       Cuts: 7     6388   74.47%
      0     0       69.7726   251       40.0000       Cuts: 6     6425   74.43%
      0     0       69.7535   251       40.0000      Cuts: 13     6477   74.38%
      0     0       69.7520   251       40.0000       Cuts: 6     6497   74.38%
      0     0       69.6986   251       40.0000 UserPurge2: 5     6583   74.25%
      0     0       69.6556   251       40.0000      Cuts: 20     6649   74.14%
      0     0       69.6497   251       40.0000       Cuts: 8     6692   74.12%
*     0+    0                           41.0000       69.6497     6692   69.88%
      0     0       69.6467   251       41.0000 UserPurge2: 2     6716   69.87%
      0     0       69.6223   251       41.0000       Cuts: 5     6776   69.81%
      0     0       69.5954   251       41.0000       Cuts: 7     6845   69.74%
      0     0       69.5740   251       41.0000      Cuts: 11     6902   69.69%
      0     0       69.5545   251       41.0000       Cuts: 4     6956   69.65%
      0     0       69.5295   251       41.0000       Cuts: 4     7001   69.58%
      0     0       69.5252   251       41.0000       Cuts: 9     7031   69.57%
      0     0       69.5022   251       41.0000      Cuts: 15     7084   69.52%
      0     0       69.5017   251       41.0000       User: 2     7092   69.52%
      0     0       69.4695   251       41.0000 UserPurge2: 2     7149   69.44%
      0     0       69.4573   250       41.0000      Cuts: 10     7187   69.41%
      0     0       69.4316   250       41.0000       Cuts: 6     7246   69.35%
      0     0       69.4272   250       41.0000       Cuts: 3     7270   69.33%
      0     0       69.3413   251       41.0000 UserPurge2: 17     7375   69.13%
      0     0       69.3301   251       41.0000 UserPurge2: 2     7412   69.10%
      0     0       69.2699   250       41.0000      Cuts: 26     7535   68.95%
      0     0       69.2673   250       41.0000       Cuts: 3     7561   68.94%
      0     0       69.2593   250       41.0000 UserPurge2: 3     7605   68.93%
      0     0       69.2587   251       41.0000       Cuts: 3     7615   68.92%
      0     0       69.2568   251       41.0000 UserPurge2: 1     7628   68.92%
      0     0       69.2536   250       41.0000       Cuts: 4     7652   68.91%
      0     0       69.1901   251       41.0000 UserPurge2: 1     7745   68.76%
      0     0       69.1883   251       41.0000 UserPurge2: 1     7761   68.75%
      0     0       69.1679   250       41.0000       Cuts: 3     7818   68.70%
      0     0       69.1407   251       41.0000       Cuts: 7     7876   68.64%
      0     0       69.1127   251       41.0000      Cuts: 11     7942   68.57%
      0     0       69.0498   249       41.0000       Cuts: 7     8047   68.41%
      0     0       69.0308   251       41.0000       Cuts: 5     8106   68.37%
      0     0       68.9867   251       41.0000       Cuts: 8     8195   68.26%
      0     0       68.9835   250       41.0000       Cuts: 4     8218   68.25%
      0     0       68.9805   251       41.0000       Cuts: 4     8245   68.25%
      0     0       68.8779   251       41.0000 UserPurge2: 3     8346   67.99%
      0     0       68.8521   251       41.0000 UserPurge2: 3     8410   67.93%
      0     0       68.8474   251       41.0000 UserPurge2: 2     8452   67.92%
      0     0       68.8356   251       41.0000 UserPurge2: 1     8492   67.89%
      0     0       68.8344   251       41.0000       Cuts: 6     8513   67.89%
      0     0       68.7985   251       41.0000 UserPurge2: 3     8590   67.80%
      0     0       68.7971   251       41.0000       User: 6     8611   67.80%
      0     0       68.7805   251       41.0000       Cuts: 5     8664   67.76%
      0     0       68.7725   251       41.0000       Cuts: 5     8702   67.74%
      0     0       68.7647   251       41.0000       Cuts: 5     8747   67.72%
      0     0       68.7332   250       41.0000       Cuts: 8     8819   67.64%
      0     0       68.7256   250       41.0000       Cuts: 7     8846   67.62%
      0     0       68.7245   250       41.0000       Cuts: 4     8863   67.62%
      0     0       68.7238   250       41.0000       User: 4     8874   67.62%

User cuts applied:  949

Root node processing (before b&c):
  Real time             =   20.61 sec. (28713.50 ticks)
Sequential b&c:
  Real time             =    0.00 sec. (0.00 ticks)
                          ------------
Total (root+branch&cut) =   20.61 sec. (28713.50 ticks)
Solution status = Feasible
Solution value  = 41
Clique separated  = 1108
Rango separated  = 292
Rango con pesos separated  = 32
Número de nudos B&B  = 0
Número de llamadas a PL  = 92
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 5
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.015
Número de vértices para grafos chicos: 50
